Consistency Checking for Component Reuse in Open Systems
نویسندگان
چکیده
Large scale Open Systems are built from reusable components in such a way that enhanced system functionality can be deployed, quickly and effectively, simply by plugging in a few new or revised components. At the architectural level, when new variations of a system are being planned by (re)configuring reusable components, the architecture description can itself become very large and complex. Consequently, the opportunities for inconsistency abound. This paper describes a method of architecture description that allows a significant amount of consistency checking to be done throughout the process of developing a system architecture description. An architectural design tool is described that supports consistency checking. This tool is designed to support component reuse, incremental development and collaborative working, essential for developing the architecture description of large systems.
منابع مشابه
Open Incremental Model Checking ( Extended Abstract )
This paper focuses on the interaction between two components: base and extension. Specifically, the extension refines or modifies the base, i.e. the interferences of the base and extension execution paths occur. Unlike traditional modular model checking methods which treat systems as static, a new method of model checking, called open incremental model checking (OIMC) in our opinion, is propose...
متن کاملComparison of growth parameters, cortisol and muscle gene expression of rainbow trout reared in an open and water reuse system
Fish farming in recirculating aquaculture systems (RAS) has been expanding in the recent years, but the effects of water reuse are not well known. The aim of the present study was to compare the growth parameters, stress response and muscle stress- and growth- related gene expression of rainbow trout (Oncorhynchus mykiss) in open system (OS) versus water reuse system (WRS). For this purpose, yo...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملComponent - Based Hardware / Software Co - Verification for Building Trustworthy
We present a novel component-based approach to hardware/software co-verification of embedded systems using model checking. Embedded systems are pervasive and often mission-critical, therefore, they must be highly trustworthy. Trustworthy embedded systems require extensive verification. The close interactions between hardware and software of embedded systems demand co-verification. Due to their ...
متن کاملPredictable Assemblies using Monitored Software Components
We propose monitoring of software components, and use of monitored software components, as a general approach for engineering of embedded computer systems. The concept is general in the sense that it addresses the whole product lifecycle including development, debugging, testing and maintenance. Also, reuse across multiple product versions and variants are facilitated by our approach to monitor...
متن کامل